This chapter contains sections titled: Modern Legal Theory and the Impact of Realism Policy Science Legal Process References.

Representing species-specific proteins and protein complexes in ontologies that are both human and machine-readable facilitates the retrieval, analysis, and interpretation of genome-scale data sets. Although existing protin-centric informatics resources provide the biomedical research community with well-curated compendia of protein sequence and structure, these resources lack formal ontological representations of the relationships among the proteins themselves. The Protein Ontology (PRO) Consortium is filling this informatics resource gap by developing ontological representations and relationships among proteins and their variants and modified forms. Because (...) proteins are often functional only as members of stable protein complexes, the PRO Consortium, in collaboration with existing protein and pathway databases, has launched a new initiative to implement logical and consistent representation of protein complexes. We describe here how the PRO Consortium is meeting the challenge of representing species-specific protein complexes, how protein complex representation in PRO supports annotation of protein complexes and comparative biology, and how PRO is being integrated into existing community bioinformatics resources. The PRO resource is accessible at http://pir.georgetown.edu/pro/. (shrink)

The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper bounds on I (...) never has a minimal member; if ∪ I = L α [ A] ∩ ω ω for α admissible or a limit of admissibles, the same holds for nice uniform upper bounds. The central technique used in proving these theorems consists in this: by trial and error construct a generic sequence approximating the desired object; simultaneously settle definitely on finite pieces of that object; make sure that the guessing settles down to the object determined by the limit of these finite pieces. (shrink)

Résumé Si l’absence de moralité des psychopathes a été largement étudiée, il existe peu de recherches sur leurs capacités esthétiques. Pourtant, beaucoup d’études cliniques de cas montrent qu’ils présentent un grave déficit dans ce domaine. Cet article se propose d’en chercher les causes. Il analyse les forces et les limites de l’hypothèse d’un manque d’empathie pour expliquer ces carences esthétiques, et montre pourquoi l’hypothèse d’un manque de distance psychique se révèle plus féconde. Celle-ci permet en outre de comprendre le lien (...) de l’esthétique et de l’éthique par leur filiation commune : elles ont pour socle commun la capacité à prendre de la distance par rapport à des intérêts étroitement égoïstes. (shrink)

Psychopaths are the bugbears of moral philosophy. They are often used as examples of perfectly rational people who are nonetheless willing to do great moral wrong without regret; hence the disorder has received the epithet “moral insanity” (Pritchard 1835). But whereas philosophers have had a great deal to say about psychopaths’ glaring and often horrifying lack of moral conscience, their aesthetic capacities have received hardly any attention, and are generally assumed to be intact or even enhanced. Popular culture often portrays (...) psychopaths in ways that suggest a great gap between their amorality and their aesthetic sensitivity. In The Silence of the Lambs (Jonathan Demme, 1991), Hannibal Lecter appreciates fine art, fashion, and wine, while he eats his way through his enemies. His real-life counterparts, however, do not demonstrate the same sensitivities. There is no evidence that psychopaths are capable of real aesthetic appreciation, and some evidence that they are not. In this paper, we set out the limited evidence for the psychopath’s deficient aesthetic sensitivity. The best explanations of what the psychopath lacks turn out to implicate abilities that are also thought to be central to moral thought and action: an impaired capacity for empathizing with others and deficient ability to take a disinterested attitude towards things (socalled distance). We endorse the latter explanation. Thinking about what underlies the psychopath’s deficient aesthetic understanding turns out to throw light on a difficult problem: the connection between ethics and aesthetics. (shrink)

This volume, a lightly-edited version of Professor Samuel Scolnicov’s 1974 Ph.D. thesis, is a fitting tribute to his impressive career. It will perhaps be most useful for those interested in better understanding Scolnicov’s work and his views on Plato as a whole, not least for the comprehensive list of his publications that requires a full twelve pages of print. Scholars with an interest in Plato’s method of hypothesis will also find some useful remarks on key passages in the Meno, Phaedo, (...) and Republic as well as on Greek mathematical analysis.Illuminating other aspects of Scolnicov’s work is clearly part of the intention behind enabling broader access to this study. As Harold Tarrant notes in his introduction... (shrink)

Review of Daoist Identity. History, Lineage, and Ritual, by Livia Kohn and Harold D. Roth.

The present article was partly inspired by G. Pollack’s book, and also Dadoloff, Saxena & Jensen (2010). As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1, No. 2, 2022), for example, things and Beings can travel between Universes, intentionally or unintentionally [4]. In this short remark, we revisit and offer short remark to Neil Boyd’s ideas and trying to connect them with geometry of musical chords as presented by D. Tymoczko and (...) others, then to Escherian staircase and then to Jacob’s ladder which seems to pointto possibility to interpret Jacob’s vision as described in the ancient book of Genesis as interdimensional staircase, e.g. an interdimensional bridge between heaven and earth (cf. classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden‘s liquid crystalline. Therefore, in this article we outline a series of simple experiments of laser irradiated iced-water along with beryl and selenite crystals in order to see possibility of such a quantum tunneling via quantum liquid crystalline Universe hypothesis, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just aninitial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1,. 2, 2022), Our universe is but one page in a large book [4]. For example, things and Beings can travel between Universes, intentionally or unintentionally. In this short remark, we revisit and offer short remark to Neil’s ideas and trying to connect them with geometrization of musical chords as presented by D. Tymoczko and others, then to Escher staircase and then to Jacob’s (...) ladder which seems to point to possibility to interpret Jacob’s vision as described in the ancient book of Genesis as inter dimensional or heavenly staircase, e.g. an inter dimensional bridge between heaven and earth (see also classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of quantum wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden’s liquid crystalline. Therefore, in subsequent article (Part II) we outlined simple model of such an effect of tunneling via quantum liquid crystalline Universe, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just an initial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

If I were asked to put forward an ethical principle which I considered to be especially certain, it would be that no one can be responsible, in the properly ethical sense, for the conduct of another. Responsibility belongs essentially to the individual. The implications of this principle are much more far-reaching than is evident at first, and reflection upon them may lead many to withdraw the assent which they might otherwise be very ready to accord to this view of responsibility. (...) But if the difficulties do appear to be insurmountable, and that, very certainly, does not seem to me to be the case, then the proper procedure will be, not to revert to the barbarous notion of collective or group responsibility, but to give up altogether the view that we are accountable in any distinctively moral sense. (shrink)

Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...) part of a good life, and so at least some aesthetic judgements are motivating. So we have reason to think that this version of aesthetic internalism is true. This paper defends wholehearted aesthetic internalism against objections, and assesses an argument from aesthetic internalism to aesthetic non-cognitivism. While wholehearted aesthetic internalism can only offer qualified support to non-cognitivism, it nonetheless offers a number of fruitful avenues for further work. (shrink)

The paper points out that the modern formulation of Bohm’s quantum theory known as Bohmian mechanics is committed only to particles’ positions and a law of motion. We explain how this view can avoid the open questions that the traditional view faces according to which Bohm’s theory is committed to a wave-function that is a physical entity over and above the particles, although it is defined on configuration space instead of three-dimensional space. We then enquire into the status of the (...) law of motion, elaborating on how the main philosophical options to ground a law of motion, namely Humeanism and dispositionalism, can be applied to Bohmian mechanics. In conclusion, we sketch out how these options apply to primitive ontology approaches to quantum mechanics in general. (shrink)

What responsibilities do audiences have in engaging with artworks? Certain audience responses seem quite clear: for example, audiences should not vandalize or destroy artworks; they should not disrupt performances. This paper examines other kinds of resisting responses that audiences sometimes engage in, including petitioning the artist to change their works, altering copies of artworks, and creating new artworks in another artist’s fictional world. I argue for five claims: (1) while these actions can sometimes infringe on the rights of artists, the (...) rights of artists are not absolute; (2) the fact that such actions are based on mistaken interpretations of the artworks has no normative weight; (3) there can be reason to object to additions and alterations whose conception of the artwork is morally worse than the original (and so, there can be reason to support additions and alterations whose conception is morally better); (4) petitioning raises special moral problems; and, most important, (5) some of these actions are valuable because they involve creative and aesthetic activity. Those acts of audience resistance that are creative, morally improve on the original work, and that minimize the infringement of the artists’ rights are good, and should be encouraged. (shrink)

Scepticism about ought simpliciter is the view that there is no such thing as what one ought simpliciter to do. Instead, practical deliberation is governed by a plurality of normative standpoints, each authoritative from their own perspective but none authoritative simpliciter. This paper aims to resist such scepticism. After setting out the challenge in general terms, I argue that scepticism can be resisted by rejecting a key assumption in the sceptic’s argument. This is the assumption that standpoint-relative ought judgments bring (...) with them a commitment to act in accordance with those judgments. Instead, I propose an alternative account of our normative concepts according to which only ought simpliciter judgments commit one to acting in accordance with those judgments. In addition to answering the sceptical challenge, the proposal offers an independently motivated account of what makes a concept normatively authoritative. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

Traditionally, the term ’God’ has been understood either as a proper name or as a description. However, according to a new view, the term God’ in a sentence like "Jesus Christ is God" functions as a kind term, much as the term ’tiger’ functions in the sentence "Tigger is a tiger." In this paper I examine the claim that divinity can be construed as a ’supernatural’ kind, developing the outlines of an account of the semantics of God’ along these lines, (...) and suggest that it might solve an important philosophical problem concerning the Incarnation. (shrink)

In this paper I shall explain what I take to be the nature of justice; and the method which I shall follow is that of attempting to infer the essential nature of justice from an examination of its actual practical operation. Perhaps the reader will be able to follow the drift of the argument more easily, and be more on his guard against possible misstatements of fact or erroneous inferences, if I mention at the outset the main conclusions to which (...) I hope to lead him. (shrink)

I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...) cut-conditions in the absence of finitariness or of monotonicity. (shrink)

Metaethical expressivism is typically characterised as the view that normative statements express desire-like attitudes instead of beliefs. However, in this paper I argue that expressivists should claim that normative statements express beliefs in normative propositions, and not merely in some deflationary sense but in a theoretically robust sense explicated by a theory of propositional attitudes. I first argue that this can be achieved by combining an interpretationist understanding of belief with a nonfactualist view of normative belief content. This results in (...) a view I call ‘interpretative expressivism’. I then argue that traditional arguments employed by expressivists that normative statements express noncognitive attitudes can just as well support the claim that normative statements express nonfactual or nonrepresentational beliefs. Finally, I argue that this view has a number of advantages to versions of expressivism that deny that normative statements express non-deflationary normative beliefs. (shrink)

In a recent reply to our article, “What is Interpretability?,” Prasetya argues against our position that artificial neural networks are explainable. It is claimed that our indefeasibility thesis—that adding complexity to an explanation of a phenomenon does not make the phenomenon any less explainable—is false. More precisely, Prasetya argues that unificationist explanations are defeasible to increasing complexity, and thus, we may not be able to provide such explanations of highly complex AI models. The reply highlights an important lacuna in our (...) original paper, the omission of the unificationist account of explanation, and affords us the opportunity to respond. Here, we argue that artificial neural networks are explainable in a way that should satisfy unificationists and that interpretability methods present ways in which ML theories can achieve unification. (shrink)

In this paper I explore Phyllis Rooney’s 2003 chapter, “Feminist Epistemology and Naturalized Epistemology: An Uneasy Alliance,” taking guidance from her critique of naturalized epistemology in pursuing my own analysis of another uneasy alliance: that between feminist epistemology and social epistemology. Investigating some of the background assumptions at work in prominent conceptions of social epistemology, I consider recent analyses of "epistemic bubbles" to ask how closely such analyses are aligned with ongoing research in feminist epistemology. I argue that critical feminist (...) insights in political philosophy are called for here, especially those that focus on multiple politically salient relationships and also emphasize practices of personal transformation as inseparably bound up with broader movements for social transformation. Insofar as feminist epistemology continues to carry another world in its heart, I argue that it will continue to rest uneasily with any effort to align it with—let alone subsume it within—the still emerging field of social epistemology. (shrink)

This paper explains how to use a new software tool for argument diagramming available free on the Internet, showing especially how it can be used in the classroom to enhance critical thinking in philosophy. The user loads a text file containing an argument into a box on the computer interface, and then creates an argument diagram by dragging lines from one node to another. A key feature is the support for argumentation schemes, common patterns of defeasible reasoning historically know as (...) topics . Several examples are presented, as well as the results of an experiment in using the system with students in a university classroom. (shrink)

Anselm’s 'Proslogion' is, as he says in its Preface, 'unum argumentum', a single line of reasoning, that builds toward the following: “that God is truly,” “that he is the highest good who needs no other,” and that he is the one “whom all things need so that they may be and may be well.” This paper attempts to shed light on how Anselm carries out the threefold task that he sets for himself and way in which his procedure brings unity (...) to the work. Although I do not provide a full account of the unity of the 'Proslogion', I lay the groundwork for such an account by reflecting on the 'Proslogion' in light of the 'Symposium', with a view to bringing a pattern of thinking present in Plato’s work to bear on the 'Proslogion'—an intertextual approach that illuminates aspects of Anselm’s thinking and reveal the rich Platonic and Neoplatonic tradition within which he was working. In the 'Symposium', one discerns a pattern of thinking that consists of three “moments”: a comic moment, a tragic moment, and a philosophic moment. To follow this pattern in one’s inquiry is, as Socrates suggests, to practice 'ta erôtica', “erotics,” the art of erotic thinking. Familiarity with this pattern of erotic thinking helps make sense of Anselm’s thinking in the 'Proslogion', and in this paper I reveal how this is so. (shrink)

Does individual desert matter for distributive justice? Is it relevant, for purposes of justice, that the pattern of distribution of justice’s “currency” (be it well-being, resources, preference-satisfaction, capabilities, or something else) is aligned in one or another way with the pattern of individual desert? -/- This paper examines the nexus between desert and distributive justice through the lens of individual claims. The concept of claims (specifically “claims across outcomes”) is a fruitful way to flesh out the content of distributive justice (...) so as to be grounded in the separateness of persons. A claim is a relation between a person and a pair of outcomes. If someone is better off in one outcome than a second, she has a claim in favor of the first. If she is equally well off in the two outcomes, she has a null claim between the two. In turn, whether one outcome is more just than a second depends upon the pattern of claims between them. -/- In prior work, I have elaborated the concept of claims across outcomes, and have used it to provide a unified defense of the Pareto and Pigou-Dalton axioms. Adding some further, plausible, axioms, we arrive at prioritarianism. -/- Here, I consider the possibility of desert-modulated claims—whereby the strength of an individual’s claim between two outcomes is determined not only by her well-being levels in the two outcomes, and her well-being difference between them, but also by her desert. This generalization of the notion of claims suggests a new axiom of justice: Priority for the More Deserving, requiring that, as between two individuals at the same well-being level, a given increment in well-being be allocated to the more deserving one. -/- If individual desert is intrapersonally fixed, this new axiom, together with a desert-modulated version of the Pigou-Dalton principle, and the Pareto axioms, yields a desert-modulated prioritarian account of distributive justice. Trouble arises, however, if an individual’s desert level can be different in different outcomes. In this case of intrapersonally variable desert, Priority for the More Deserving can conflict with the Pareto axioms (both Pareto indifference and strong Pareto). -/- This conflict, I believe, is sufficient reason to abandon the proposal to make claim strength a function of individual desert on top of well-being levels and differences. If distributive justice is truly sensitive to each individual’s separate perspective—if the justice ranking of outcomes is built up from the totality of individual rankings—we should embrace the Pareto axioms as axioms of justice and reject Priority for the More Deserving. In short: desert-modulated prioritarianism is a nonstarter. Rawls was right to sever distributive justice from desert. (shrink)

Timothy O’Connor’s book Theism and Ultimate Explanation offers a defense of a new version of the cosmological argument. In his discussion, O’Connor argues against the coherence of a brute fact “explanation” of the universe and for the claim that the God of theism cannot be logically contingent. In this paper, I take issue with both of these arguments. Regarding the former, I claim that contrary to what O’Connor asserts, we have no good reason to prefer an account according to which (...) the universe is explained via a necessary being to that of a naturalist who thinks that the universe is contingent and ultimately unexplained. Regarding the latter, I argue that the possibility of a logically contingent God is fully consistent with traditional theism. (shrink)

Are properties perfectly natural (or not) relative to worlds, or are they perfectly natural (or not) tout court? That is, could there be a property P that is instanti-ated at worlds w1 and w2, and is perfectly natural at w1 but not at w2? Here, we offer an original argument for the non-world-relativity of perfect naturalness. Along the way, we reply to a prima facie compelling argument for the contin-gency of perfect naturalness, based upon the connection between natural prop-erties and (...) laws of nature. (shrink)

The practice of Emergency Management in Michigan raises anew the question of whose knowledge matters to whom and for what reasons, against the background of what projects, challenges, and systemic imperatives. In this paper, I offer a historical overview of state intervention laws across the United States, focusing specifically on Michigan’s Emergency Manager laws. I draw on recent analyses of these laws to develop an account of a phenomenon that I call epistemic redlining, which, I suggest, is a form of (...) group-based credibility discounting not readily countenanced by existing, ‘culprit-based’ accounts of epistemic injustice. I argue that epistemic redlining plays a crucial role in ongoing projects of racialized subordination and dispossession in Michigan, and that such discounting tends to have structural causes that can be difficult to identify and uproot. Contrary to the general thrust of recent work on the topic, I argue that epistemic redlining ought to be understood as a form of epistemic injustice. (shrink)

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

Expressivists about normative thought and discourse traditionally deny that there are nondeflationary normative propositions. However, it has recently been suggested that expressivists might avoid a number of problems by providing a theory of normative propositions compatible with expressivism. This paper explores the prospects for developing an expressivist theory of propositions within the framework of cognitive act theories of propositions. First, I argue that the only extant expressivist theory of cognitive propositions—Michael Ridge's ‘ecumenical expressivist’ theory—fails to explain identity conditions for normative (...) propositions. Second, I argue that this failure motivates a general constraint—the ‘unity requirement’—that any expressivist theory of propositions must provide a unified nonrepresentational explanation of that in virtue of which propositional attitudes have the content that they have. Third, I argue that conceptual role accounts of content provide a promising framework in which to develop an expressivist theory of cognitive propositions. (shrink)

Now it is plain that such consequences as these conflict sharply with common-sense notions of morality. If we had been obliged to accept Psychological Egoism, in any of its narrower forms, on its merits, we should have had to say: 'So much the worse for the common-sense notions of morality!' But, if I am right, the morality of common sense, with all its difficulties and incoherences, is immune at least to attacks from the basis of Psychological Egoism.

In this paper I engage interdisciplinary conversation on inaction as the dominant response to climate change, and develop an analysis of the specific phenomenon of complacency through a critical-feminist lens. I suggest that Chris Cuomo's discussion of the “insufficiency” problem and Susan Sherwin's call for a “public ethics” jointly point toward particularly promising harm-reduction strategies. I draw upon and extend their work by arguing that extant philosophical accounts of complacency are inadequate to the task of sorting out what it means (...) to be complacent on climate change. I offer a sketch for an alternative account, which I take to be a start in the direction of mapping out a diverse array of “motivational vices” that need to be named, grappled with, and remedied. (shrink)

In a pair of recent articles, Brian Leftow and Eleonore Stump offer independent, although similar, accounts of the metaphysics of the Incarnation. Both believe that their Aquinas-inspired theories can offer solutions to the kind of Leibniz’s Law problems that can seem to threaten the logical possibility of this traditional Christian doctrine. In this paper, I’ll have a look at their compositional account of the nature of God incarnate. In the end, I believe their position can be seen to have unacceptable (...) philosophical and theological implications, and that is it inadequate to solve the Leibniz’s law problems that motivate it in the first place. (shrink)

Robert Kimball, in “What’s Wrong with Argumentum Ad Baculum?” (Argumentation, 2006) argues that dialogue-based models of rational argumentation do not satisfactorily account for what is objectionable about more malicious uses of threats encountered in some ad baculum arguments. We review the dialogue-based approach to argumentum ad baculum, and show how it can offer more than Kimball thinks for analyzing such threat arguments and ad baculum fallacies.

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input set of (...) formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (shrink)

This article tackles the sole surviving ancient commentary on what was perhaps the second most important Platonic work, with special interest for the manner in which the ancients tackled the setting of Plato's dialogues, Socratic ignorance, Socratic eros, the central myth-like Palinode, and the question of oral as against written teaching.

This paper examines the integration and unification of the philosophy and psychology of well-being. For the most part, these disciplines investigate well-being without reference to each other. In recent years, however, with the maturing of each discipline, there have been a growing number of calls to integrate the two. While such calls are welcome, what it means to integrate well-being philosophy and psychology can vary greatly depending on one’s theoretical and practical ends. The aim of this paper is to provide (...) a novel conceptual framework for thinking about integrating well-being philosophy and psychology that systematically categorizes different kinds of integration projects. We divide existing attempts in the literature into three broad categories according to the perspective from which the integration takes place: (1) top-down meta-theoretical unification; (2) psychological integration within philosophy; and (3) philosophical integration within psychology. These categories are then broken down into various further subcategories. Our aim in providing this framework is both to facilitate the assessment and comparison of existing integration attempts and to provide a roadmap for future integration attempts. For each category, we discuss one or two representative examples of the approaches. By doing so, we hope to generate interest in the wide variety of existing integration projects, as well as to generate discussion concerning the benefits and pitfalls of different approaches. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)